Model theory and the cardinal numbers p and t.
نویسنده
چکیده
Modern mathematical logic is a multifaceted subject, which concerns itself with the strengths and limitations of formal proofs and algorithms and the relationship between language and mathematical structure. Modern mathematical logic also addresses foundational issues that arise in mathematics. This commentary summarizes the groundbreaking results of Malliaris and Shelah (1), recently published in PNAS (2), relating two branches of logic: model theory and set theory.
منابع مشابه
Beyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملCardinal temperatures for seed germination of three Quinoa (Chenopodium quinoa Willd.) cultivars
Quinoa (Chenepodium quinoa Willd.) is a grain-like crop which has a high potential of crop yield under arid environments. The objective of this study was to evaluate the responses of seed germination rate and percentage to temperatures and estimate cardinal temperatures in three quinoa cultivars (i.e., Sajama, Titicaca and Santamaria). Germination of quinoa seeds were daily counted at the tempe...
متن کاملA COMMENT ON “p < t”
A COMMENT ON " p < t " SAHARON SHELAH Abstract. Dealing with the cardinal invariants p and t of the continuum we prove that m ≥ p = ℵ 2 ⇒ t = ℵ 2. In other words, if MA ℵ 1 (or a weak version of this) holds, then (of course ℵ 2 ≤ p ≤ t and) p = ℵ 2 ⇒ p = t. The proof is based on a criterion for p < t. 0. Introduction We are interested in two cardinal invariants of the continuum, p and t. The ca...
متن کاملBeyond First Order Logic: From number of structures to structure of numbers: Part I
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...
متن کاملPOINTWISE CONVERGENCE TOPOLOGY AND FUNCTION SPACES IN FUZZY ANALYSIS
We study the space of all continuous fuzzy-valued functions from a space $X$ into the space of fuzzy numbers $(mathbb{E}sp{1},dsb{infty})$ endowed with the pointwise convergence topology. Our results generalize the classical ones for continuous real-valued functions. The field of applications of this approach seems to be large, since the classical case allows many known devices to be fi...
متن کاملRowbottom cardinals without the Axiom of Choice
We show that for all natural numbers n, the theory “ZF +DCאn + אω is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + אω1 is an ω2-Rowbottom cardinal carrying an ω2-Rowbottom filter and ω1 is regular” has the same consistency strength as the theory “ZFC + There...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Proceedings of the National Academy of Sciences of the United States of America
دوره 110 33 شماره
صفحات -
تاریخ انتشار 2013